one-state pushdown machine

单态下推机